搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Formal development of programs and proofs 0 索取号：TP338/E992 作者：出版社：Reading, Mass. : Addison-Wesley, 1990.		Nanotechnology research directions : IWGN Workshop report : vision for nanotechnology R&D in the next decade 0 索取号：O641-532/E20001 作者：IWGN Workshop (1999)、Roco、 M. C.、Williams、 R. S.、Alivisatos、 P.、National Science and Technology Council (U.S.). Committee on Technology.、Interagency Working Group on Nanoscience、 Engineering、 and Technology.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
	University physics 0 索取号：O4/E802.10 作者：Young、 Hugh D.、Freedman、 Roger A.、出版社：San Francisco, Calif. : Addison-Wesley, c2000.		Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983 0 索取号：TP33-53/E901/1983 作者：IFIP WG 10.2 International Symposium on Computer Hardware Description Languages and Their Applications (6th : 1983 : Pittsburgh、 Pa.)、̇уehara、 T. (Takao)、 1942-、Barbacci、 Mario R.、IFIP TC-10.、IFIP WG 10.2.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	1975 International Symposium on Computer Hardware Description Languages and Their Applications : proceedings, Graduate Center, City University of New York, New York City, September 3-5, 1975 0 索取号：TP33-53/E802/3 作者：International Symposium on Computer Hardware Description Languages and Their Applications、 3d、 City University of New York、 1975.、Su、 Stephen Y. H.、 1938-、出版社：New York : Institute of Electrical and Electronics Engineers : can be ordered from Association for Computing Machinery, 1975.		Multichannel time series analysis with digital computer programs 0 索取号：TP33/E701.2 作者：Robinson、 Enders A.、出版社：Houston, Tex. : Goose Pond Press, 1983, c1967.
	Distributed computer control systems 1985 : proceedings of the sixth IFAC workshop, Monterey, California, USA, 20-22 May 1985 0 索取号：TP322-53/E901/1985 作者：出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.		Distributed computer control systems 1983 : proceedings of the fifth IFAC workshop, Sabi-Sabi, Transvaal, South Africa, 18-20 May 1983 0 索取号：TP322-53/E901/1983 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984.
	Distributed computer control systems 1982 : proceedings of the IFAC 4th Workshop, Tallinn, U.S.S.R., 24-26 May, 1982 0 索取号：TP322-53/E901/1982 作者：IFAC Workshop on Distributed Computer Control Systems (4th : 1982 : Tallinn、 Estonia)、Gellie、 R. W.、Tavast、 R. R. (RaulʹאRomanovich)、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] : New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984,c1983.		Distributed computer control systems : proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 0 索取号：TP322-53/E901/1979 作者：IFAC Workshop on Distributed Computer Control Systems (1st : 1979 : Tampa、 Fla.)、Harrison、 Thomas J.、 Ph. D.、Instrument Society of America.、American Automatic Control Council.、International Federation of Automatic Control. Computer Committee.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1980.
	Proving programs correct 0 索取号：TP319/E802 作者：Anderson、 Robert Brockett、 1941-、出版社：New York : Wiley, 1979.		NBS FORTRAN test programs 0 索取号：TP314/E803 作者：Holberton、 Frances E.、Parker、 Elizabeth G.、 joint author.、United States. National Bureau of Standards.、出版社：[Washington] National Bureau of Standards; [for sale by the Supt. of Docs., U.S. Govt. Print. Off.] 1974.
	Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings 0 索取号：TP312-532/E992/1991 作者：PDK '91 (1991 : Kaiserslautern、 Germany)、Boley、 H. (Harold)、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1991.		ALGOL 68 : proceedings of the 1975 International Conference on ALGOL 68, Oklahoma State University, Stillwater, June 10-12, 1975 0 索取号：TP312-53/E802/3 作者：International Conference on ALGOL 68 (3rd : 1975 : Oklahoma State University)、Hedrick、 G. E.、出版社：Stillwater : Oklahoma State University, c1976.
	Proceedings of an International Conference on ALGOL 68 Implementation : Department of Computer Science, University of Manitoba, Winnipeg, June 18-20, 1974 0 索取号：TP312-53/E803 作者：International Conference on ALGOL 68 Implementation (1974 : University of Manitoba)、King、 Peter R.、 1943-、University of Manitoba. Dept. of Computer Science.、出版社：Winnipeg : Utilitas Mathematica Pub., 1975.		Cognitive aspects in information processing 0 索取号：TP312-53/E903/1985 作者：IEEE Workshop on Languages for Automation (1985 : Universitat de Palma)、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.

	Formal development of programs and proofs 0 索取号：TP338/E992 作者：出版社：Reading, Mass. : Addison-Wesley, 1990.		Nanotechnology research directions : IWGN Workshop report : vision for nanotechnology R&D in the next decade 0 索取号：O641-532/E20001 作者：IWGN Workshop (1999)、Roco、 M. C.、Williams、 R. S.、Alivisatos、 P.、National Science and Technology Council (U.S.). Committee on Technology.、Interagency Working Group on Nanoscience、 Engineering、 and Technology.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
	University physics 0 索取号：O4/E802.10 作者：Young、 Hugh D.、Freedman、 Roger A.、出版社：San Francisco, Calif. : Addison-Wesley, c2000.		Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983 0 索取号：TP33-53/E901/1983 作者：IFIP WG 10.2 International Symposium on Computer Hardware Description Languages and Their Applications (6th : 1983 : Pittsburgh、 Pa.)、̇уehara、 T. (Takao)、 1942-、Barbacci、 Mario R.、IFIP TC-10.、IFIP WG 10.2.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	1975 International Symposium on Computer Hardware Description Languages and Their Applications : proceedings, Graduate Center, City University of New York, New York City, September 3-5, 1975 0 索取号：TP33-53/E802/3 作者：International Symposium on Computer Hardware Description Languages and Their Applications、 3d、 City University of New York、 1975.、Su、 Stephen Y. H.、 1938-、出版社：New York : Institute of Electrical and Electronics Engineers : can be ordered from Association for Computing Machinery, 1975.		Multichannel time series analysis with digital computer programs 0 索取号：TP33/E701.2 作者：Robinson、 Enders A.、出版社：Houston, Tex. : Goose Pond Press, 1983, c1967.
	Distributed computer control systems 1985 : proceedings of the sixth IFAC workshop, Monterey, California, USA, 20-22 May 1985 0 索取号：TP322-53/E901/1985 作者：出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.		Distributed computer control systems 1983 : proceedings of the fifth IFAC workshop, Sabi-Sabi, Transvaal, South Africa, 18-20 May 1983 0 索取号：TP322-53/E901/1983 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984.
	Distributed computer control systems 1982 : proceedings of the IFAC 4th Workshop, Tallinn, U.S.S.R., 24-26 May, 1982 0 索取号：TP322-53/E901/1982 作者：IFAC Workshop on Distributed Computer Control Systems (4th : 1982 : Tallinn、 Estonia)、Gellie、 R. W.、Tavast、 R. R. (RaulʹאRomanovich)、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] : New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984,c1983.		Distributed computer control systems : proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 0 索取号：TP322-53/E901/1979 作者：IFAC Workshop on Distributed Computer Control Systems (1st : 1979 : Tampa、 Fla.)、Harrison、 Thomas J.、 Ph. D.、Instrument Society of America.、American Automatic Control Council.、International Federation of Automatic Control. Computer Committee.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1980.
	Proving programs correct 0 索取号：TP319/E802 作者：Anderson、 Robert Brockett、 1941-、出版社：New York : Wiley, 1979.		NBS FORTRAN test programs 0 索取号：TP314/E803 作者：Holberton、 Frances E.、Parker、 Elizabeth G.、 joint author.、United States. National Bureau of Standards.、出版社：[Washington] National Bureau of Standards; [for sale by the Supt. of Docs., U.S. Govt. Print. Off.] 1974.
	Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings 0 索取号：TP312-532/E992/1991 作者：PDK '91 (1991 : Kaiserslautern、 Germany)、Boley、 H. (Harold)、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1991.		ALGOL 68 : proceedings of the 1975 International Conference on ALGOL 68, Oklahoma State University, Stillwater, June 10-12, 1975 0 索取号：TP312-53/E802/3 作者：International Conference on ALGOL 68 (3rd : 1975 : Oklahoma State University)、Hedrick、 G. E.、出版社：Stillwater : Oklahoma State University, c1976.
	Proceedings of an International Conference on ALGOL 68 Implementation : Department of Computer Science, University of Manitoba, Winnipeg, June 18-20, 1974 0 索取号：TP312-53/E803 作者：International Conference on ALGOL 68 Implementation (1974 : University of Manitoba)、King、 Peter R.、 1943-、University of Manitoba. Dept. of Computer Science.、出版社：Winnipeg : Utilitas Mathematica Pub., 1975.		Cognitive aspects in information processing 0 索取号：TP312-53/E903/1985 作者：IEEE Workshop on Languages for Automation (1985 : Universitat de Palma)、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.